graph theory:proper subgraph